Search Results "Static Analysis" - all Bücher

Ihre Suche nach "Static Analysis" (Bücher) ergab 10 Treffer.

Static Analysis

Lecture Notes in Computer Science - volume 16100

This book constitutes the refereed proceedings of the 32nd International Static Analysis Symposium, SAS 2025, held in Singapore, Singapore, in October 2025.The 15 papers included here were carefully revie…

lieferbar ab 10.11.2025.

Buch

Static Analysis

This book constitutes the refereed proceedings of the 31st International Static Analysis Symposium, SAS 2024, held in Pasadena, CA, USA, in October 2024.Static analysis is widely recognized as a fundament…

deliverable within 2-3 weeks

Buch

Hans-Martin Eckel
Kinematische Analyse von Spindellagern unter statischen und dynamischen Kräften

Die Leistungsgrenze von radial belasteten, schnelldrehenden Spindellagern wird rechnerisch häufig durch den Kugelvor- und -nachlauf begrenzt. Experimentelle Ergebnisse sind nur unzureichend verfügbar. Ein…

deliverable within 2-3 weeks

Buch

Sarit Maitra
A Practical Guide to Static and Dynamic Econometric Modelling

This book provides a comprehensive guide to econometric modeling, combining theory with practical implementation using Python. It covers key econometric concepts, from data collection and model specificat…

deliverable within 2-3 weeks

Buch

Andreas Dotzauer
Kollegiale Beratung in der betrieblichen Führungskräfteentwicklung. Theoretischer Rahmen, Status quo und qualitative Analyse der Herausforderungen bei der Einführung aus Sicht betrieblicher Personalentwicklungsexperten

Kollegiale Beratung ist ein Beratungsformat im Rahmen der betrieblichen Personal- bzw. Führungskräfteentwicklung. Diese neuere Art des Lernens bewirkt positive Effekte sowohl auf individueller als auch au…

deliverable within 2-3 weeks

Buch

Maximilian Graßl
Sozialräumliche Differenzierung und Erreichbarkeit

Die sozialräumliche Differenzierung urbaner Räume sowie die damit verbundenen Effekte für die Infrastruktur in segregierten Teilräumen der Stadt gewinnen zunehmend an Bedeutung. Dabei ist die Diskussion u…

deliverable within 2-3 weeks

Buch

Ana Figueiredo, José Silva, Bráulio Soares
Rotation und Gleichgewicht der Gezeiten

Diese Arbeit bringt Diskussionen über Gezeitentheorie und Doppelsternsysteme und konfrontiert die Ideen von Zahn, Tassoul und anderen Wissenschaftlern auf diesem Gebiet. Wir haben Daten von Perioden, Exze…

deliverable within 2-3 weeks

Buch

Model Checking Software

Lecture Notes in Computer Science - volume 15945

This book constitutes the refereed proceedings of the 31st International Symposium on Model Checking Software, SPIN 2025, held in Hamilton, ON, Canada, during May 7--8, 2025.The 9 full papers included in …

lieferbar ab 8.11.2025.

Buch

CyberSecurity in a DevOps Environment

This book provides an overview of software security analysis in a DevOps cycle including requirements formalisation, verification and continuous monitoring. It presents an overview of the latest technique…

deliverable within 2-3 weeks

Buch

Innovative Security Solutions for Information Technology and Communications

.- Designing Human-centric security protocols..- Election Security-by-Design..- A Conceptual Framework to Leverage Heuristics for Effective Human-Machine Collaboration in Incident Handling..- Locally Veri…

deliverable within 2-3 weeks

Buch

Information on availability or release dates for items is based on information that we receive from our suppliers. These dates are not guaranteed and are subject to change at any time.